home *** CD-ROM | disk | FTP | other *** search
/ Language/OS - Multiplatform Resource Library / LANGUAGE OS.iso / prolog / brklyprl.lha / Emulator / Benchmarks / concat.w < prev    next >
Encoding:
Text File  |  1989-04-14  |  1.2 KB  |  80 lines
  1. procedure  main/0
  2.  
  3. _517:
  4.     call  concat1/0,0
  5.     cut
  6.     execute_proc  concat6/0
  7.  
  8.  
  9. procedure  concat1/0
  10.  
  11. _1038:
  12.     put_list  X1
  13.     unify_constant_write  a
  14.     get_cdr_list_write
  15.     unify_constant_write  b
  16.     get_cdr_list_write
  17.     unify_constant_write  c
  18.     unify_nil_write
  19.     put_list  X2
  20.     unify_constant_write  d
  21.     get_cdr_list_write
  22.     unify_constant_write  e
  23.     unify_nil_write
  24.     put_variable_y  Y1,X3
  25.     call  concat/3,1
  26.     put_unsafe_value  Y1,X1
  27.     escape  write/1
  28.     escape  nl/0
  29.     proceed
  30.  
  31.  
  32. procedure  concat6/0
  33.  
  34. _1593:
  35.     put_list  X3
  36.     unify_constant_write  a
  37.     get_cdr_list_write
  38.     unify_constant_write  b
  39.     get_cdr_list_write
  40.     unify_constant_write  c
  41.     get_cdr_list_write
  42.     unify_constant_write  d
  43.     get_cdr_list_write
  44.     unify_constant_write  e
  45.     unify_nil_write
  46.     put_variable_y  Y2,X1
  47.     put_variable_y  Y1,X2
  48.     call  concat/3,2
  49.     put_unsafe_value  Y2,X1
  50.     escape  write/1
  51.     escape  nl/0
  52.     put_unsafe_value  Y1,X1
  53.     escape  write/1
  54.     escape  nl/0
  55.     escape  nl/0
  56.     fail
  57.  
  58.  
  59. procedure  concat/3
  60.  
  61.     switch_on_term  _2267,_2268,fail
  62. _2273:
  63.     try_me_else  _2278,3
  64. _2267:
  65.     get_value_x  X2,X3
  66.     get_nil  X1
  67.     proceed
  68. _2278:
  69.     trust_me_else  fail
  70. _2268:
  71.     get_list  X1
  72.     unify_variable_x  X4
  73.     unify_variable_x  X1
  74.     get_list  X3
  75.     unify_value_x  X4
  76.     unify_variable_x  X3
  77.     execute_proc  concat/3
  78.  
  79.  
  80.